formal description

Formal description and the automatic implementation tool EIT of trivial file transfer protocol

小型文件传输协议TFTP的形式化描述和自动生成工具EIT

Estelle: a formal description technique, and its application for communication protocol

Estelle：通信协议的一种形式描述技术及应用

This paper provides a complete and formal description for basic case retrieval network ( BCRN) which is put forward by Lenz and Burkhard, establishes its mathematical model and then makes an extension for it.

本文对由Lenz与Burkhard提出的基本案例检索网络给出了完整的、形式化的描述，基于这种描述建立起数学模型，进而对其进行扩展。

Formal Description of GDMO Behaviour Template

GDMO行为模板的形式化描述

Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques ( FDT) for IN service and the theory and methods in IN's service verification.

本文依据国际电信联合委员会（ITU-T）的智能网能力集建议，对智能网业务的形式化描述技术（FDT）、智能网业务逻辑验证的理论与方法等进行了研究。

A Method Based on Formal Description to Implement Network Frame Encode/ Decode

一种基于形式描述的网络帧编解码实现方法

ESTELLE is a new formal description technique developed by the ISO for the description of computer communication protocols.

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术，并已成为国际标准。

An Interactive Generating Method for Protocol Formal Description Language Estelle

协议形式描述语言Estelle的交互生成方法

Formal description system of checking information and its parse system.

实现了阅卷信息的形式化描述以及对应的语言解释系统。

In this paper, a method of dynamic code analysis is proposed to apply the model checking into interpreted languages. The classification and formal description of temporal safety properties are discussed for managing and maintaining them.

该文重点分析了时序安全特性和竞争条件等代码分析热点问题，给出了时序安全特性的分类以及形式化描述，提出了将模式识别应用于解释性语言中的动态代码检查方法。

This paper discusses formal description style of communication protocol for computer networks.

研讨计算机网络通信协议的形式描述风格.

The dissertation extends DisCo formal description language to precisely describe design pattern.

本文扩展了DisCo形式化 描述语言,使其能很好地描述设计模式.

According to the capacities of the two types of hypothetical complex sentences, we continued to divide the hypothetical conjunctions into three types. They are: hypothetical conjunctions specialized for possibility; A formal description of Chinese expressions of hypothetical conditions in comparison with English

依据假设连词引导这两类假设复句的能力，又将假设连词分为专表可能性假设连词、兼表可能性假设连词和专表反事实假设连词三类。英汉假设条件句比较

With the method of formal description of plane geometry graphics, an electronic whiteboard supporting intelligent drawing of dynamic geometry on Web is implemented based on SVG.

通过平面几何图形形式化描述方法，利用新型网络图形标准SVG实现了支持Web动态几何智能作图的电子白板。

The Mobile Computing and the Future Education Research on computational soundness of formal attacker ability description

形式化攻击者能力描述的计算可靠性研究

Formal Description Technique Based on Estelle for Protocol

基于Estelle的协议形式描述技术

The paper introduces formal description techniques and SDL.

介绍了形式化描述技术及其SDL语言,并以PPP协议 为例,研究了协议的形式化开发的整个过程.

This paper presents a formal description method using CCITT SDL/ GR Language. The SDL/ GR state pictures of interoffice signallings for a SPC tandem exchange under various junction conditions are discussed.

本文提出基于CCITT SDL语言基础上的信号系统格式化描述方法，并给出了一个程控市话汇接局在国内网中各种接口条件下的局间信号SDL/GR状态图。

The formal description of the design and implementation of an agent based on BICC architecture is given to show the feasibility of the system.

结合基于BICC体系结构的Agent设计及实现的形式化描述，说明该系统的可行性。

The Research and Formal Description of Locking Mechanism for Concurrent Control in Cooperative Design

协同设计中并发控制加锁机制的研究与形式化描述

A multi-dimensional description of self-authentication mechanism is given at first, and the follow is a formal presentation of SA-RBAC on the based of NIST RBAC Model.

论文中对自身鉴别机制进行了多维的阐述，给出了SA-RBAC模型的形式化描述，同时对新模型中的几个关键问题也进行了系统的讨论。

Describe OODA decision ring thought and DEVS formal description method effectively. ( 2) Put forward a modeling method based on the theory of DEVS to air defense of anti-aircraft gun battle.

对OODA决策环思想和DEVS形式化描述方法进行了有效的阐述。（2）提出了基于DEVS理论对自行防空高炮的协同作战进行建模方法。

As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.

Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。

We offer the formal description of negotiation protocol, negotiation strategies and the decision model for negotiation.

这里主要讨论了协商协议的规范化描述, 协商策略的表示和规划,以及协商中的建模问题.

Research on the component description model, analyzed the informal and formal description of component, gave an XML based configurable component description model ( CCDM)

构件表示模型的研究，对构件的非形式化表示和形式化表示进行了分析和研究，提出了一种基于XML的可配置的构件表示模型CCDM（Configurable Component Description Model）；

Second, ESTELLE, one of formal description technique, is extended to broadcast channel for description power.

第三章和第四章主要介绍了ESTELLE为代表的形式化描述技术。针对ESTELLE描述通道的局限性，给出了一个描述广播通道的扩展；

UML Sequence Diagram emphasizes particularly the process of message interaction of objects. But it lacks formal description of dynamic semantics, therefore goes against comprehension of the diagram and test case generation based on the diagram.

UML顺序图侧重于展示对象之间的消息交互过程，但其动态语义缺乏形式化的描述，不利于对顺序图模型的准确理解和基于该模型的测试用例生成。

The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.

测试规范使用基于模型的规范语言，由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。

Formal description for architecture model based on feature and category theory

基于特征和范畴理论的体系结构模型形式化描述

In this paper the ISO & CCITT formal description techniques will be introduced.

本篇文章中,将介绍ISO 和 CCITT的形式描述技术.